Acknowledgements We Would like to Thank

12 about the model extracted from the requirements. From this inspection of the model, the user would be able to detect diierences between his/hers and the system's interpretations and proceed to make the necessary modiications to clarify his intentions. The ability of the analysis system to process directly the requirements can be of great beneet to both the software engineer and the end user. Serving as a mediator, this system can lessen the chance for miscommunication by pointing out potential ambiguities, inconsistencies, imprecision, and other problems that can lead to misunderstanding between the client and the analyst. The quality of the requirements documents can be assessed as a by-product. Indeed, the system maintains bactracking path lengths and frequency counters on ambiguities in the text. These two quantities are taken to be indirectly proportional to quality of the document. That is, the larger the counters and the lengths are, the poorer the quality is. In other words, if the system has to resolve a large number of ambiguities and perform substantial backtracking to process a document, then the analyst will have serious diiculties in interpreting such a document.